- логіка комбінаторна
- ЛОГІКА КОМБІНАТОРНА (від лат. combino - з'єдную) - спосіб побудови логічної системи з термами як послідовностями комбінаторів (аналогами функцій) і формулами як твердженнями про їх рівність.
Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). Г. С. Сковороди; редкол.: В. І. Шинкарук . 2002.
